Context-sensitive Conditional Expression Reduction Systems
نویسندگان
چکیده
منابع مشابه
Context-sensitive conditional expression reduction systems
We introduce Context-sensitive Conditional Expression Reduction Systems (CERS) by extending and generalizing the notion of conditional TRS to the higher order case. We justify our framework in two ways. First, we deene orthogonality for CERSs and show that the usual results for orthogonal systems ((niteness of developments, connuence, permutation equivalence) carry over immediately. This can be...
متن کاملA Semantics for Context-Sensitive Reduction Semantics
This paper explores the semantics of the meta-notation used in the style of operational semantics introduced by Felleisen and Hieb. Specifically, it defines a formal system that gives precise meanings to the notions of contexts, decomposition, and plugging (recomposition) left implicit in most expositions. This semantics is not naturally algorithmic, so the paper also provides an algorithm and ...
متن کاملContext-Sensitive Dynamic Partial Order Reduction
Dynamic Partial Order Reduction (DPOR) is a powerful technique used in verification and testing to reduce the number of equivalent executions explored. Two executions are equivalent if they can be obtained from each other by swapping adjacent, non-conflicting (independent) execution steps. Existing DPOR algorithms rely on a notion of independence that is context-insensitive, i.e., the execution...
متن کاملTransforming Context-Sensitive Rewrite Systems
We present two new transformation techniques for proving termination of context-sensitive rewriting. Our rst method is simple, sound, and more powerful than previously suggested transformations. However, it is not complete, i.e., there are terminating context-sensitive rewrite systems that are transformed into non-terminating term rewrite systems. The second method that we present in this paper...
متن کاملOn the behavior of context-sensitive systems
Software systems are being used in ever more diverse and dynamic environments where they have to routinely and efficiently adapt to changing environmental conditions. Therefore, they must detect variations in their operating context and adapt their behavior in response to such variations. However, specifying monitoring and adaptation can be difficult due to their dependence on the contextual el...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1995
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80193-8